• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام
تعداد ۷۹ پاسخ غیر تکراری از ۷۹ پاسخ تکراری در مدت زمان ۰,۴۴ ثانیه یافت شد.

21. Goal-directed proof theory

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Proof theory

رده :
QA9
.
54
.
G33
2000

22. Goal-directed proof theory

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Proof theory

رده :
QA9
.
54
.
G33
2000

23. Handbook Of The History Of Logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: /Edited By Dov M. Gabbay

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع:

رده :

24. Handbook of Defeasible Reasoning and Uncertainty Management Systems.

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Dov M Gabbay

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.

رده :
Q375
.
D686
2010

25. Handbook of Philosophical Logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Dov M. Gabbay, Franz Guenthner.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic.,Philosophy

رده :

26. Handbook of Philosophical Logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / Dov M. Gabbay, Franz Guenthner

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&ENGINEERING, ELECTRICAL

رده :
E-BOOK

27. Handbook of Philosophical Logic :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Dov M Gabbay

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع:

رده :

28. Handbook of defeasible reasoning and uncertainty management systems. Vol. 4, Abductive reasoning and learning

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: editors, Dov M. Gabbay and Philippe Smets.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Abduction (Logic),Machine learning.,Reasoning.

رده :

29. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Logic programming,Artificial intelligence,Logic, Symbolic and mathematical

رده :
QA
76
.
63
.
H36
1993

30. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical

رده :
QA
76
.
63
.
H36
1993

31. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical

رده :
QA
76
.
63
.
H36
1993

32. Handbook of logic in artificial intelligence and logic programming

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical

رده :
QA
76
.
63
.
H26

33. Handbook of logic in computer science

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computer science , Logic, Symbolic and mathematical

رده :
QA
76
.
H2785
1992

34. Handbook of logic in computer science

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Computer science,، Logic, Symbolic and mathematical

رده :
QA
76
.
H27
1992

35. Handbook of logic in computer science

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science.,Logic, Symbolic and mathematical.

رده :
QA
,
76
,.
H2785
,
1992

36. Handbook of philosophical logic.

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Dov M. Gabbay, Franz Guenthner, editors

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Handbooks, manuals, etc,Logic,Philosophy

رده :
BC71

37. Handbook of philosophical logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Dov M. Gabbay, Franz Guenthner editors

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Handbooks, manuals, etc. ، Logic

رده :
BC
6
.
H36
2001

38. Handbook of philosophical logic. / Volume 17

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Guenthner , Franz,Dov M Gabbay; Franz Guenthner

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Logique mathe matique,، Logique moderne,، Logique mathe matique non classique

رده :
BC71

39. Handbook of quantum logic and quantum structures :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Quantum logic,Quantum theory

رده :
QC174
.
17
.
M35
H36
2007

40. Handbook of quantum logic and quantum structures

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Quantum logic--Handbooks, manuals, etc

رده :
QC
,
174
.
17
,.
M35
,
H35
,
2009
  • »
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال